Showing 1 - 3 of 3 Results
1.
Logics of Specification Languages by Bjorner, Dines, Henson, Mar... ISBN: 9783540741060 List Price: $139.00
2.
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) by Bjorner, Dines, Henson, Mar... ISBN: 9783642093456 List Price: $139.00
3.
Zb 2002 : Formal Specification and Development in Z and B by Bert, Didier, Bowen, Jonath... ISBN: 9783662164389 List Price: $24.99